Free Kleene algebras with domain
نویسندگان
چکیده
منابع مشابه
Kleene Algebras with Domain
Kleene algebras with domain are Kleene algebras endowed with an operation that maps each element of the algebra to its domain of definition (or its complement) in abstract fashion. They form a simple algebraic basis for Hoare logics, dynamic logics or predicate transformer semantics. We formalise a modular hierarchy of algebras with domain and antidomain (domain complement) operations in Isabel...
متن کاملA Free Construction of Kleene Algebras with Tests
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with tests generated by a pair of sets. Moreover we show that our free Kleene algebra with tests is isomorphic to Kozen and Smith’s Kleene algebra with tests if their construction available, that is, a generator of the Boolean...
متن کاملResiduated Kleene Algebras
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to Kozen’s class of Kleene algebras if we include the residuals of composition in the similarity type of relation algebras.
متن کامل*-Continuous Kleene $\omega$-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کاملKleene and Stone Algebras
Boolean algebras are affine complete by a well-known result of G. Grätzer. Various generalizations of this result have been obtained. Among them, a characterization of affine complete Stone algebras having a smallest dense element was given by R. Beazer. In this paper, generalizations of Beazer’s result are presented for algebras abstracting simultaneously Kleene and Stone algebras.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2020
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2020.100606